Klasyczny rachunek zdań.
Zadaniem tej książki jest zwięzłe przedstawienie najważniejszych wyników klasycznego, tzn. dwuwartościowego, funkcjonalnie pełnego rachunku zdań. Ubocznym tego efektem jest jednoczesna prezentacja dość ogólnych metod, które do wyników tych prowadzą, oraz charakterystyka aparatury pojęciowej, za
